ownership type systems, region-based memory, alias types, linear ownership
Press ? anytime to show this help